logic proves God